Axiomatizing weighted synchronization trees and weighted bisimilarity
نویسندگان
چکیده
منابع مشابه
compactifications and function spaces on weighted semigruops
chapter one is devoted to a moderate discussion on preliminaries, according to our requirements. chapter two which is based on our work in (24) is devoted introducting weighted semigroups (s, w), and studying some famous function spaces on them, especially the relations between go (s, w) and other function speces are invesigated. in fact this chapter is a complement to (32). one of the main fea...
15 صفحه اولWeighted Coloring in Trees
A proper coloring of a graph is a partition of its vertex set into stable sets, where each part corresponds to a color. For a vertex-weighted graph, the weight of a color is the maximum weight of its vertices. The weight of a coloring is the sum of the weights of its colors. Guan and Zhu defined the weighted chromatic number of a vertex-weighted graph G as the smallest weight of a proper colori...
متن کاملEnumeration of Weighted Trees
In weighted trees, all edges are endowed with positive integral weight. We enumerate weighted bicolored plane trees according to their weight and number of edges. 1 Preliminaries This paper is not intended for publication: it does not contain difficult results, and the proofs use only standard and well-known techniques. However, the results stated below have their place in the context of the st...
متن کاملWeighted Decision Trees
While decision tree compilation is a promising way to carry out guard tests eeciently, the methods given in the literature do not take into account either the execution characteristics of the program or the machine-level tradeoos between diierent ways to implement branches. These methods therefore ooer little or no guidance for the implementor with regard to how decision trees are to be realize...
متن کاملWeighted parsing of trees
We show how parsing of trees can be formalized in terms of the intersection of two tree languages. The focus is on weighted regular tree grammars and weighted tree adjoining grammars. Potential applications are discussed, such as parameter estimation across formalisms.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2014
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2014.02.033